#! /bin/bash

if [ $# -ne 2 ]; then
    echo "utilisation : $0 fichierDeClauses nbClauses"
    exit 1
fi

if [ ! -f $1 ]; then
    echo "$1 n'est pas un fichier"
    exit 1
fi

cat $1 | head -1
nbClauses=$(cat $1 | head -2 | tail -1) 
echo $2

cat $1 | tail -$nbClauses | head -$2
